Service basic.onefinal

Description
Returns a final term, after taking zero or more steps, by applying the strategy.

Input

• State

Output

• Context